The Problem of Existence
نویسنده
چکیده
Reasoning about changes in existence of objects, such as steam appearing an d water disappearing when boiling occurs, is something people do every day . Discovering methods to reason about such changes in existence is a central problem in Naive Physics . This paper analyzes the problem by isolating an important case, called quantity-conditioned existence, and presents a general method for solving it . An example generated by an implemented progra m using the solution is exhibited, and the remaining open problems are discussed .
منابع مشابه
THE EXISTENCE AND UNIQUENESS OF THE SOLUTION OF THE SPECTRAL PROBLEM II
FOLLOING OUR PREVIOS PROJECT [1], WE ARE GOING TO PROVE THE EXISTENCE AND UNIQUENESS OF THE SOLUTION OF THE SPECTRAL PROBLEM IN THIS PROJECT.FIRST,WE HAVE PROVEN THE UNIQUENESS OF THE SOLUTION THEN TO PROVE THE EXISTRNCE WE CONSTENSS OF THE ADJOINT PROBLEM CORRESPONDING TO THIS SPECTRAL PROBLEM NEXT THE UNIQUESS OF THE ADJOINT PROBLEM IS THE EXISTENCE OF THE MAIN PROBLEM AS DISCUSSED BY[2] AND ...
متن کاملExistence and uniqueness of solutions for a periodic boundary value problem
In this paper, using the fixed point theory in cone metric spaces, we prove the existence of a unique solution to a first-order ordinary differential equation with periodic boundary conditions in Banach spaces admitting the existence of a lower solution.
متن کاملExistence of positive solutions for a boundary value problem of a nonlinear fractional differential equation
This paper presents conditions for the existence and multiplicity of positive solutions for a boundary value problem of a nonlinear fractional differential equation. We show that it has at least one or two positive solutions. The main tool is Krasnosel'skii fixed point theorem on cone and fixed point index theory.
متن کاملExistence and blow-up of solution of Cauchy problem for the sixth order damped Boussinesq equation
In this paper, we consider the existence and uniqueness of the global solution for the sixth-order damped Boussinesq equation. Moreover, the finite-time blow-up of the solution for the equation is investigated by the concavity method.
متن کاملExistence and uniqueness of weak solutions for a class of nonlinear divergence type diffusion equations
In this paper, we study the Neumann boundary value problem of a class of nonlinear divergence type diffusion equations. By a priori estimates, difference and variation techniques, we establish the existence and uniqueness of weak solutions of this problem.
متن کاملExistence Results for a Dirichlet Quasilinear Elliptic Problem
In this paper, existence results of positive classical solutions for a class of second-order differential equations with the nonlinearity dependent on the derivative are established. The approach is based on variational methods.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006